Interpreting Broadcast Communication in SCCS

نویسنده

  • Uno Holmer
چکیده

CBS (Calculus of Broadcasting Systems) is a process calculus in the style of Robin Milner's CCS, with broadcast as the fundamental communication paradigm. A broadcast communication is an atomic and synchronous event; all participants act at the same instant. However, it is asymmetric in the sense that a sender may autonomously transmit a message without concern to whether anyone is listening, whereas a receiver cannot just receive on its own, it has to wait for a message and it is therefore controlled by its environment. We show that the broadcast model of CBS can be interpreted in a model based on synchronous parallelism. This is demonstrated by presenting a translation to SCCS and proving that the translation is correct up to strong bisimulation equivalence.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Girth, minimum degree, independence, and broadcast independence

An independent broadcast on a connected graph $G$is a function $f:V(G)to mathbb{N}_0$such that, for every vertex $x$ of $G$, the value $f(x)$ is at most the eccentricity of $x$ in $G$,and $f(x)>0$ implies that $f(y)=0$ for every vertex $y$ of $G$ within distance at most $f(x)$ from $x$.The broadcast independence number $alpha_b(G)$ of $G$is the largest weight $sumlimits_{xin V(G)}f(x)$of an ind...

متن کامل

Design and formal verification of DZMBE+

In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...

متن کامل

Police Interpreting: A View from the Australian Context

In the global village of today, more people have been moving and migrating than ever before creating a need for better communication. Thus community interpreting rose as a specialization serving the needs of members of the community who are unable to communicate with the system. Within this broad field of interpreting the specialist area of legal interpreting assumed a high position. However, l...

متن کامل

Survival and Recurrence in Non-melanoma Skin Cancers of scalp

Abstract Introduction: Non-melanoma scalp skin cancers (NMSCs) including squamous cell carcinomas (SCCs) and basal cell carcinomas (BCCs) are common. To manage such cancers, especially SCCs, more attention should be paid to their invasive characteristics. Mortality surveillance of SCCs and BCCs of scalp helps to choose proper approaches. Methods: The current retrospective, descriptive study w...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993